Function pointer

Results: 337



#Item
271Value Analysis  Frama-C’s value analysis plug-in Sodium[removed]rc2  Pascal Cuoq and Boris Yakobowski with Virgile Prevosto

Value Analysis Frama-C’s value analysis plug-in Sodium[removed]rc2 Pascal Cuoq and Boris Yakobowski with Virgile Prevosto

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2015-03-17 11:33:42
272lecture 09 high level language

lecture 09 high level language

Add to Reading List

Source URL: www.nand2tetris.org

Language: English - Date: 2013-04-21 11:49:37
273The Function Pointer Tutorials Introduction to C and C++ Function Pointers, Callbacks and Functors written by Lars Haendel January 2002, Dortmund, Germany http://www.newty.de email: [removed]

The Function Pointer Tutorials Introduction to C and C++ Function Pointers, Callbacks and Functors written by Lars Haendel January 2002, Dortmund, Germany http://www.newty.de email: [removed]

Add to Reading List

Source URL: www.digilife.be

Language: English - Date: 2003-02-16 08:31:35
274Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker  Princeton University

Linear Logic, Heap-shape Patterns and Imperative Programming Limin Jia David Walker Princeton University

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-11-11 20:30:18
275UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT

UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT

Add to Reading List

Source URL: www.spinroot.com

Language: English - Date: 2008-06-30 15:34:28
276The Keccak Code Package Guido Bertoni1 Joan Daemen1 Michaël Peeters2 Gilles Van Assche1 Ronny Van Keer1  1 STMicroelectronics

The Keccak Code Package Guido Bertoni1 Joan Daemen1 Michaël Peeters2 Gilles Van Assche1 Ronny Van Keer1 1 STMicroelectronics

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2014-08-22 14:25:54
277OVERLOAD  CONTENTS OVERLOAD 123 October 2014

OVERLOAD CONTENTS OVERLOAD 123 October 2014

Add to Reading List

Source URL: www.accu.org

Language: English - Date: 2014-10-10 03:14:59
278C++ Essentials  Sharam Hekmat PragSoft Corporation www.pragsoft.com

C++ Essentials Sharam Hekmat PragSoft Corporation www.pragsoft.com

Add to Reading List

Source URL: www.pragsoft.com

Language: English - Date: 2006-04-26 20:35:58
279d01 – Quadrature  d01snc NAG Library Function Document nag_1d_quad_wt_trig_1 (d01snc)

d01 – Quadrature d01snc NAG Library Function Document nag_1d_quad_wt_trig_1 (d01snc)

Add to Reading List

Source URL: www.nag.com

Language: English - Date: 2014-01-21 11:24:53
2803 Imperative Programming In contrast to functional programming, in which you calculate a value by applying a function to its arguments without caring how the operations are carried out, imperative programming is closer t

3 Imperative Programming In contrast to functional programming, in which you calculate a value by applying a function to its arguments without caring how the operations are carried out, imperative programming is closer t

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37